Search Results

---

Abstract

---

Cite as

26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

---

Copy BibTex To Clipboard

@Proceedings{aceto_et_al:LIPIcs.CONCUR.2015,
  title =	{{LIPIcs, Volume 42, CONCUR'15, Complete Volume}},
  booktitle =	{26th International Conference on Concurrency Theory (CONCUR 2015)},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-91-0},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{42},
  editor =	{Aceto, Luca and de Frutos Escrig, David},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015},
  URN =		{urn:nbn:de:0030-drops-54628},
  doi =		{10.4230/LIPIcs.CONCUR.2015},
  annote =	{Keywords: Computer-Communication Networks, Software Engineering, Computation by Abstract Devices, Logics and Meanings of Programs, Simulation and Modeling}
}

@Proceedings{aceto_et_al:LIPIcs.CONCUR.2015, title = {{LIPIcs, Volume 42, CONCUR'15, Complete Volume}}, booktitle = {26th International Conference on Concurrency Theory (CONCUR 2015)}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-91-0}, ISSN = {1868-8969}, year = {2015}, volume = {42}, editor = {Aceto, Luca and de Frutos Escrig, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015}, URN = {urn:nbn:de:0030-drops-54628}, doi = {10.4230/LIPIcs.CONCUR.2015}, annote = {Keywords: Computer-Communication Networks, Software Engineering, Computation by Abstract Devices, Logics and Meanings of Programs, Simulation and Modeling} }

---

Abstract

---

Cite as

26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, pp. i-xiv, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

---

Copy BibTex To Clipboard

@InProceedings{aceto_et_al:LIPIcs.CONCUR.2015.i,
  author =	{Aceto, Luca and de Frutos Escrig, David},
  title =	{{Front Matter, Table of Contents, Preface, Committees, External Reviewers}},
  booktitle =	{26th International Conference on Concurrency Theory (CONCUR 2015)},
  pages =	{i--xiv},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-91-0},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{42},
  editor =	{Aceto, Luca and de Frutos Escrig, David},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.i},
  URN =		{urn:nbn:de:0030-drops-53610},
  doi =		{10.4230/LIPIcs.CONCUR.2015.i},
  annote =	{Keywords: Front Matter, Table of Contents, Preface, Committees, External Reviewers}
}

@InProceedings{aceto_et_al:LIPIcs.CONCUR.2015.i, author = {Aceto, Luca and de Frutos Escrig, David}, title = {{Front Matter, Table of Contents, Preface, Committees, External Reviewers}}, booktitle = {26th International Conference on Concurrency Theory (CONCUR 2015)}, pages = {i--xiv}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-91-0}, ISSN = {1868-8969}, year = {2015}, volume = {42}, editor = {Aceto, Luca and de Frutos Escrig, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.i}, URN = {urn:nbn:de:0030-drops-53610}, doi = {10.4230/LIPIcs.CONCUR.2015.i}, annote = {Keywords: Front Matter, Table of Contents, Preface, Committees, External Reviewers} }